\begin{tabbing}
es{-}triggers(${\it es}$;$i$;${\it ds}$;${\it conds}$)($e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=if kind($e$) $\in$ dom(${\it conds}$) $\wedge_{b}$ loc($e$) = $i$\+
\\[0ex]then '(${\it conds}$(kind($e$)).2)((state when $e$),val($e$))'
\\[0ex]else inr $\cdot$ 
\\[0ex]fi 
\-
\end{tabbing}